Rajeev Alur - PDFSEARCH.IO - Document Search Engine

Rajeev Alur
Results: 97

#	Item
41	Nondeterministic Streaming String Transducers? Rajeev Alur and Jyotirmoy V. Deshmukh Dept. of Computer and Information Science, University of Pennsylvania. {alur,djy}@cis.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu - Date: 2012-03-30 09:49:15
42	Ranking Automata and Games for Prioritized Requirements Rajeev Alur, Aditya Kanade, and Gera Weiss University of Pennsylvania Abstract. Requirements of reactive systems are usually specified by Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-04-24 09:17:15
43	Formal Analysis of Hierarchical State Machines Rajeev Alur University of Pennsylvania In honor of Zohar Manna Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:11
44	Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems Rajeev Alur Ashutosh Trivedi Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-08-09 11:59:47
45	Learning-based Symbolic Assume-guarantee Reasoning with Automatic Decomposition ⋆ Wonhong Nam and Rajeev Alur Dept. of Computer and Information Science University of Pennsylvania {wnam, alur}@cis.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-08-21 17:37:50
46	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations ∗ Rajeev Alur Loris D’Antoni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-02-14 10:45:49
47	Marrying Words and Trees Rajeev Alur University of Pennsylvania ABSTRACT Traditionally, data that has both linear and hierarchical Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-22 09:38:53
48	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-10-11 11:25:26
49	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations Rajeev Alur Loris D’Antoni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-01-15 02:35:33
50	Shared Variables Interaction Diagrams Rajeev Alur Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:13